Set user time when receiving any wheel events

* src/xterm.c (handle_one_xevent): Set user time if the mouse
wheel moved.

diff --git a/src/xterm.c b/src/xterm.c
index 54b00455a1c60d577b1fe995af62d816a85f33ea..18d68e52f125238f1588e53206c09226fbfa4da5 100644 (file)
--- a/src/xterm.c
+++ b/src/xterm.c
@@ -11513,6 +11513,8 @@ handle_one_xevent (struct x_display_info *dpyinfo,
 #endif
                  if (found_valuator)
                    {
+                     x_display_set_last_user_time (dpyinfo, xev->time);
+
                      if (fabs (total_x) > 0 || fabs (total_y) > 0)
                        {
                          inev.ie.kind = (fabs (total_y) >= fabs (total_x)